A constructive proof of the general Brouwer fixed point theorem and related computational results in general non-convex sets
نویسندگان
چکیده
In this paper, by introducing twice continuously differentiable mappings, we develop an interior path following following method, which enables us to give a constructive proof of the general Brouwer fixed point theorem and thus to solve fixed point problems in a class of non-convex sets. Under suitable conditions, a smooth path can be proven to exist. This can lead to an implementable globally convergent algorithm. Several numerical examples are given to illustrate the results of this paper. Keywords—interior path following method; general Brouwer fixed point theorem; non-convex sets; globally convergent algorithm
منابع مشابه
Constructive Proof of Tychonoff’s Fixed Point Theorem for Sequentially Locally Non-Constant Functions
We present a constructive proof of Tychonoff’s fixed point theorem in a locally convex space for uniformly continuous and sequentially locally non-constant functions. Keywords—sequentially locally non-constant functions, Tychonoff’s fixed point theorem, constructive mathematics.
متن کاملConstructive Proof of Brouwer’s Fixed Point Theorem for Sequentially Locally Non-constant and Uniformly Sequentially Continuous Functions
We present a constructive proof of Brouwer’s fixed point theorem for sequentially locally non-constant and uniformly sequentially continuous functions based on the existence of approximate fixed points. And we will show that our Brouwer’s fixed point theorem implies Sperner’s lemma for a simplex. Since the existence of approximate fixed points is derived from Sperner’s lemma, our Brouwer’s fixe...
متن کاملBorsuk-Ulam Implies Brouwer: A Direct Construction
The Borsuk-Ulam theorem and the Brouwer fixed point theorem are well-known theorems of topology with a very similar flavor. Both are non-constructive existence results with somewhat surprising conclusions. Most topology textbooks that cover these theorems (e.g., [4], [5], [6]) do not mention the two are related—although, in fact, the Borsuk-Ulam theorem implies the Brouwer Fixed Point Theorem. ...
متن کاملFixed-point-like Theorems on Subspaces
In this paper, we prove a fixed-point-like theorem for multivalued mappings defined on the finite Cartesian product of Grassmannian manifolds and convex sets. Let k be an integer and let V be a Euclidean space such that 0 ≤ k ≤ dimV , then the k-Grassmannian manifold of V , denoted Gk(V), is the set of all the k-dimensional subspaces of V . The set Gk(V) is a smooth compact manifold but, in gen...
متن کاملOn the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems
This paper is a case study in proof mining applied to noneffective proofs in nonlinear functional analysis. More specifically, we are concerned with the fixed point theory of nonexpansive selfmappings f of convex sets C in normed spaces. We study the Krasnoselski iteration as well as more general so-called Krasnoselski-Mann iterations. These iterations converge to fixed points of f under certai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012